NB: More recent documentation for Dyalog APL is available at https://docs.dyalog.com/20.0/.

Rotate First R←X⊖[K]Y

The form R←X⊖Y implies rotation along the first axis.  See Rotate.